void restore_tty(void);
void init_tty(void);
int kbhit(void);
int getch(void);
